Patrick Doherty - PDFSEARCH.IO - Document Search Engine

Patrick Doherty
Results: 80

#	Item
61	1 Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter Per Olof Pettersson and Patrick Doherty Link¨oping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:45:11 Theoretical computer science Probabilistic roadmap Unmanned aerial vehicle Physics Holonomic Flight controller Mathematics Robot control Motion planning
62	Approximate Databases and Query Techniques for Agents with Heterogeneous Perceptual Capabilities Patrick Doherty Department of Computer Science University of Link¨oping Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:35:11 Database theory Relational model Mathematical structures Relational database management systems Theoretical computer science Relational database Finitary relation Tuple Structure Mathematics Algebra Data management
63	Relay Positioning for Unmanned Aerial Vehicle Surveillance∗ Oleg Burdakov? , Patrick Doherty† , Kaj Holmberg? , Jonas Kvarnstr¨ om† , Per-Magnus Olsson†,‡ ? † Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-11-01 07:29:23 Network theory Shortest path problem Unmanned aerial vehicle Pareto efficiency Mathematics Theoretical computer science Applied mathematics
64	Declarative PTIME Queries to Relational Databases Patrick Doherty Witold Lukaszewicz March 9, 2001 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:09:00 Query languages Formal languages Programming paradigms Model theory Datalog FO Well-formed formula Function Interpretation Logic Mathematics Mathematical logic
65	Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas Patrick Doherty Dept. of Computer Science Link¨oping University S[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:08:21 Propositional calculus Model theory Boolean algebra Formal languages Predicate logic Propositional variable First-order logic Interpretation Propositional formula Logic Mathematical logic Mathematics
66	A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold L ukaszewiczy Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:11:00 Generalization Atomic formula Conjunctive normal form Circumscription Logic programming First-order logic Logic Predicate logic Well-formed formula
67	Deductive Planning with Temporal Constraints using TAL Martin Magnusson and Patrick Doherty I Link6pings universitet, Link6ping[removed], Sweden patdo@ida, liu. se, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:38:33 Theoretical computer science Knowledge representation Epistemology Logic in computer science Constraint logic programming Constraint programming Event calculus First-order logic Forcing Mathematical logic Logic Logic programming
68	Generating UAV Communication Networks for Monitoring and Surveillance Per-Magnus Olsson, Jonas Kvarnstr¨om, Patrick Doherty Oleg Burdakov, Kaj Holmberg Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:48:15 Tree B-tree T-tree R-tree Unmanned aerial vehicle Bridge Tango tree Binary search tree Graph theory Binary trees Knowledge representation
69	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
70	Temporal Composite Actions with Constraints Patrick Doherty† Jonas Kvarnstr¨om† Andrzej Szałas†,‡ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-04-25 03:46:50 Epistemology Frame problem Knowledge representation Logic programming Science Dynamical system Symbol First-order logic Mathematical logic Logic Artificial intelligence